Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

analytical definability

Толкование Перевод

1 analytical definability

мат. аналитическая определимость

Большой англо-русский и русско-английский словарь > analytical definability
2 analytical definability

Математика: аналитическая определимость

Универсальный англо-русский словарь > analytical definability
3 analytical definability

мат.

аналитическая определимость

English-Russian scientific dictionary > analytical definability
4 definability

определимость

combinatorial [combinatory] definability — комбинаторная определимость

- analytical definability

- arithmetical definability

- combinatorial definability

- combinatory definability

- compatible definability

- conditional definability

- constructive definability

- equational definability

- existential definability

- explicit definability

- finite definability

- implicit definability

- inductive definability

- local definability

- normal definability

- parametric definability

- partial definability

- piecewise definability

- provable definability

- semantic definability

- strong definability

- syntactic definability

- uniform definability

English-Russian scientific dictionary > definability
5 аналитическая определимость

мат. analytical definability

Большой англо-русский и русско-английский словарь > аналитическая определимость
6 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem
7 piecewise

1) кусочный
2) кусочно
3) кусочно-линейный ∙ piecewise [sectionally] smooth ≈ кусочно гладкий piecewise analytic differential ≈ кусочно аналитический дифференциал piecewise analytic function ≈ кусочно аналитическая функция piecewise constant function ≈ кусочно постоянная функция;
ступенчатая функция piecewise continuous curve ≈ кусочно непрерывная кривая piecewise continuous derivative ≈ кусочно непрерывная производная piecewise continuous function ≈ кусочно непрерывная функция piecewise continuously differentiable function ≈ кусочно гладкая функция piecewise differentiable curve ≈ кусочно дифференцируемая кривая piecewise expanding function ≈ кусочно расширяющаяся функция piecewise linear characteristic ≈ кусочно-линейная характеристика piecewise linear form ≈ кусочно-линейная форма piecewise linear function ≈ кусочно линейная функция piecewise linear function generator ≈ генератор кусочно-линейной функции piecewise linear machine ≈ кусочно-линейная машина piecewise monotonic function ≈ кусочно монотонная функция piecewise polynomial function ≈ кусочно полиномиальная функция, сплайн piecewise quadratic function ≈ кусочно квадратичная функция piecewise rectifiable curve ≈ кусочно спрямляемая кривая piecewise recursive set ≈ кусочно рекурсивное множество piecewise regular function ≈ кусочно регулярная функция piecewise smooth curve ≈ кусочно гладкая кривая piecewise smooth function ≈ кусочно гладкая функция - piecewise affine - piecewise analytical - piecewise characteristic - piecewise conformal - piecewise constant - piecewise continuity - piecewise continuous - piecewise definability - piecewise definable - piecewise differentiability - piecewise differentiable - piecewise harmonic - piecewise holomorphic - piecewise linear - piecewise linearity - piecewise linearization - piecewise polynomial - piecewise quadratic - piecewise rectilineal - piecewise recursive - piecewise regression - piecewise regular - piecewise smooth Кусочно

Большой англо-русский и русско-английский словарь > piecewise
8 lemma

матем.

лемма, вспомогательное утверждение

- algebraic lemma

- analytical lemma

- approximation lemma

- arc-coloring lemma

- arithmetical lemma

- bilinear lemma

- butterfly lemma

- combinatorial lemma

- conjectural lemma

- contraction lemma

- covering lemma

- definability lemma

- diagram lemma

- dual lemma

- exchange lemma

- extended lemma

- extension lemma

- finiteness lemma

- five lemma

- fundamental lemma

- general lemma

- geometrical lemma

- global lemma

- inclusion lemma

- inductive lemma

- interpolation lemma

- key lemma

- law-equivalence lemma

- lifting lemma

- local lemma

- main lemma

- normalization lemma

- preliminary lemma
- preparatory lemma
- projection lemma

- recursion lemma

- replacement lemma

- semilocal lemma

- splitting lemma

- technical lemma

- transitivity lemma

- truth lemma

English-Russian scientific dictionary > lemma

См. также в других словарях:

Definable real number — A real number a is first order definable in the language of set theory, without parameters, if there is a formula φ in the language of set theory, with one free variable, such that a is the unique real number such that φ(a) holds in the standard… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Pointclass — In the mathematical field of descriptive set theory, a pointclass is a collection of sets of points, where a point is ordinarily understood to be an element of some perfect Polish space. In practice, a pointclass is usually characterized by some… … Wikipedia
Hyperarithmetical theory — In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an… … Wikipedia
List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… … Wikipedia
List of computability and complexity topics — This is a list of computability and complexity topics, by Wikipedia page. Computability theory is the part of the theory of computation that deals with what can be computed, in principle. Computational complexity theory deals with how hard… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Wadge hierarchy — In descriptive set theory, Wadge degrees are levels of complexity for sets of reals and more comprehensively, subsets of any given topological space. Sets are compared by continuous reductions. The Wadge hierarchy is the structure of Wadge… … Wikipedia
Definable set — In mathematical logic, a definable set is an n ary relation on the domain of a structure whose elements are precisely those elements satisfying some formula in the language of that structure. A set can be defined with or without parameters, which … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

analytical definability

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

analytical definability

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: